Essentials of Standard ML Modules
نویسنده
چکیده
The following notes give an overview of Standard ML Mod ules system Part gives an introduction to ML Modules aimed at the reader who is familiar with a functional programming language but has little or no experience with ML programming Part is a half day practical intended to give the reader an opportu nity to modify a small but non trivial piece of software using functors signatures and structures
منابع مشابه
Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras
In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...
متن کامل*-frames in Hilbert modules over pro-C*-algebras
In this paper, by using the sequence of multipliers, we introduce frames with algebraic bounds in Hilbert pro-$ C^* $-modules. We investigate the relations between frames and $ ast $-frames. Some properties of $ ast $-frames in Hilbert pro-$ C^* $-modules are studied. Also, we show that there exist two differences between $ ast $-frames in Hilbert pro-$ C^* $-modules and Hilbert $ ...
متن کاملFirst - Class Structures for Standard ML ( Extended Summary )
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. \Programming in the small" is captured by Standard ML's Core language. \Programming in the large" is captured by Standard ML's Modules language that provides constructs for organising related Core language deenitions into self-contained modules with descriptive interfaces...
متن کاملTypes for modules
The programming language Standard ML is an amalgam of two, largely orthogonal, languages. The Core language expresses details of algorithms and data structures. The Modules language expresses the modular architecture of a software system. Both languages are statically typed, with their static and dynamic semantics specified by a formal definition. Over the past decade, Standard ML Modules has b...
متن کاملObject-Oriented Programming and Standard ML
This paper explores connections between object-oriented programming and Standard ML. In particular we show that F-bounded polymorphism can be expressed using ML's polymorphism and a programming technique we call wrapping. The encoding of F-bounded polymorphism can be used to encode classes as ML modules.
متن کامل